Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
11

On the complexity of partial order trace model checking

Рік:
2008
Мова:
english
Файл:
PDF, 149 KB
english, 2008
12

The formal design of distributed controllers withdSL and Spin

Рік:
2005
Мова:
english
Файл:
PDF, 328 KB
english, 2005
13

Efficient approximate verification of B and Z models via symmetry markers

Рік:
2010
Мова:
english
Файл:
PDF, 861 KB
english, 2010
14

Decentralized Control of Infinite Systems

Рік:
2011
Мова:
english
Файл:
PDF, 897 KB
english, 2011
17

Interface controlled plastic flow modelled by strain gradient plasticity theory

Рік:
2012
Мова:
english
Файл:
PDF, 1.13 MB
english, 2012
19

A Level-Set Based Representative Volume Element Generator and XFEM Simulations for Textile and 3D-Reinforced Composites

Рік:
2013
Мова:
english
Файл:
PDF, 1.68 MB
english, 2013
27

The complexity of synchronizing Markov decision processes

Рік:
2018
Мова:
english
Файл:
PDF, 2.01 MB
english, 2018